UsedLessRules 9,38
nuprl rules not commonly used.
NIL

origin